colored Petri net

См. также в других словарях:

• Well-formed Petri net — Well formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 (Université P. M. Curie) and the University of Torino in the early 1990s.It is a restrictions of the high level nets (or colored Nets) introduced by …   Wikipedia

• CPN Tools — is a high level Petri net tool. It supports the basic Petri nets plus timed Petri nets and Colored Petri nets. It has a simulator and a state space analysis tool is included. External links CPN Tools [http://wiki.daimi.au.dk/cpntools] …   Wikipedia

• CPN — Die Abkürzung CPN steht für: Kommunistische Partei Nigerias (Communist Party) Communistische Partij van Nederland (Kommunistische Partei der Niederlande) Caspian Airlines (ICAO Code) Colored Petri Net (Farbiges Petri Netz) …   Deutsch Wikipedia

• Constraint automaton — In computer science, Constraint automata are a formalism to describe the behavior and possible data flow in coordination models[1]. It was introduced by Arbab et al.[2] as a variation of finite automata for model checking Reo connector circuits.… …   Wikipedia

• Bipartite graph — In the mathematical field of graph theory, a bipartite graph (or bigraph) is a graph whose vertices can be divided into two disjoint sets U and V such that every edge connects a vertex in U to one in V ; that is, U and V are independent sets.… …   Wikipedia

• Sun dog — For other uses, see Sun dog (disambiguation). Very bright sundogs in Fargo, North Dakota. Note the halo arcs passing through each sundog …   Wikipedia

• Fungus — Fungi redirects here. You may be looking for Fungi (music) or Fungus (XM). Fungi Temporal range: Early Devonian–Recent (but see text) …   Wikipedia

• BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism

• Space Shuttle Columbia disaster — For further information about Columbia s mission and crew, see STS 107. STS 107 mission patch The Space Shuttle Columbia disaster occurred on February 1, 2003, when shortly before it was scheduled to conclude its 28th mission, STS 107, the Space… …   Wikipedia

• Andalusia — For the more extensive Muslim era region, see Al Andalus. For other uses, see Andalusia (disambiguation). Andalusia Andalucía (Spanish)   Autonomous Community   …   Wikipedia

• Vanishing hitchhiker — The vanishing hitchhiker (or phantom hitchhiker) is a reported phenomenon in which people travelling by vehicle meet with or are accompanied by a hitchhiker who subsequently vanishes without explanation, often from a moving vehicle. Vanishing… …   Wikipedia